$\forall$$l_{1}$, $l_{2}$:IdLnk. (lnk{-}inv($l_{1}$) = lnk{-}inv($l_{2}$) $\in$ IdLnk) $\Leftarrow\!\Rightarrow$ ($l_{1}$ = $l_{2}$)